Perilaku Konsumen Berbelanja di Minimarket Gunung Mas Abadi Balikpapan
نویسندگان
چکیده
منابع مشابه
Linear Abadi & Plotkin Logic
We present a formalization of a version of Abadi and Plotkin’s logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show, following Plotkin’s suggestions, that it can be used to define a wide collection of types, including existential types, inductive types, coinductive types and general recursive types. We show that the recursive types satis...
متن کاملLinear Abadi and Plotkin Logic
We present a formalization of a version of Abadi and Plotkin’s logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin’s suggestions, that it can be used to define a wide collection of types, including existential types, inductive types, coinductive types and general recursive types. We show that the recursive types satisfy...
متن کاملSynthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
In a recent article [4] the first two authors and R.L. Petersen have defined a notion of parametric LAPL-structure. Such structures are parametric models of the equational theory PILLY , a polymorphic intuitionistic / linear type theory with fixed points, in which one can reason using parametricity and, for example, solve a large class of domain equations [4,5]. Based on recent work by Simpson ...
متن کاملDenotational Semantics for Abadi and Leino's Logic of Objects
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need to reside in the store (”higher-order store”). We present a new soundness proof for this logic using a denotational semantics where object specifications are recursive predicates on the domain of objects. Our semantics...
متن کاملCategory-theoretic Models of Linear Abadi & Plotkin Logic
This paper presents a sound and complete category-theoretic notion of models for Linear Abadi & Plotkin Logic [Birkedal et al., 2006], a logic suitable for reasoning about parametricity in combination with recursion. A subclass of these called parametric LAPL structures can be seen as an axiomatization of domain theoretic models of parametric polymorphism, and we show how to solve general (nest...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JSHP ( Jurnal Sosial Humaniora dan Pendidikan)
سال: 2018
ISSN: 2597-7342,2580-5398
DOI: 10.32487/jshp.v2i2.502